$\forall$$a$, $b$, $y$:$\mathbb{Z}$. GCD($a$;$b$;$y$) $\Rightarrow$ GCD($b$;$a$;$y$)